Swiss Federal Institute of Technology - PDFSEARCH.IO - Document Search Engine

Swiss Federal Institute of Technology
Results: 229

#	Item
91	Interactive Synthesis of Code Snippets Tihomir Gvero, Viktor Kuncak, and Ruzica Piskac⋆ Swiss Federal Institute of Technology Lausanne (EPFL) Abstract. We describe a tool that applies theore Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:27 Functional languages Procedural programming languages C++ Snippet Source code Scala Eval Constructor ALGOL 68 Computing Software engineering Computer programming
92	MUNCH - Automated Reasoner for Sets and Multisets Ruzica Piskac and Viktor Kuncak Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Metalogic Model theory Multiset NP-complete problems Presburger arithmetic Satisfiability Modulo Theories Cardinality Generalized arithmetic progression Mathematics Mathematical logic Theoretical computer science
93	CHANJOONG KIM Chanjoong Kim Upon graduating from Korea University with a bachelor’s degree in Architectural Engineering, Chanjoong Kim studied at the much claimed Swiss Federal Institute of Technology Zurich (ETH). In Add to Reading List Source URL: www.caadria2015.org Language: English - Date: 2015-03-16 22:35:22 Asia Political geography Slade Architecture Kris Yao Office for Metropolitan Architecture Seoul South Korea
94	Jürg Beer Swiss Federal Institute of Aquatic Science and Technology, Dübendorf, Switzerland; Program News Solar Forcing – a new PAGES Working Group Add to Reading List Source URL: www.pages-igbp.org Language: English - Date: 2012-12-19 03:14:04 Climatology Solar cycle Maunder Minimum Sun Solar minimum Solar variation Global warming Climate change Radiative forcing Climate history Atmospheric sciences Physics
95	SWISS FEDERAL INSTITUTE OF TECHNOLOGY LAUSANNE Digital Processing Block for Monolithic Multichannel Data Acquisition IC Add to Reading List Source URL: www.tuxmaniac.com Language: English - Date: 2010-01-19 06:54:50 Butterfly diagram Twiddle factor Discrete Fourier transform Cooley–Tukey FFT algorithm Mathematical analysis Digital signal processing Fast Fourier transform
96	0-Day Patch Exposing Vendors (In)security Performance Stefan Frei, Bernhard Tellenbach, and Bernhard Plattner Computer Engineering and Networks Laboratory (TIK) Swiss Federal Institute of Technology, ETH Zurich {stefan.f Add to Reading List Source URL: www.blackhat.com Language: English - Date: 2014-12-16 19:06:28 Software testing Hacking Vulnerability Zero-day attack Patch Social vulnerability Common Vulnerabilities and Exposures Exploit Responsible disclosure Computer security Cyberwarfare Computer network security
97	Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement Dan Alistarh1 , Seth Gilbert1 , Rachid Guerraoui1 , and Corentin Travers2? 1 Swiss Federal Institute of Technology, Lausanne, Switzerland Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2009-11-24 09:52:14 Inter-process communication Consensus Distributed computing Algorithm Simulation Asynchrony Message passing Virtual synchrony Concurrent computing Fault-tolerant computer systems Computing
98	Automated Body Modeling from Video Sequences Ralf Pl¨ankers and Pascal Fua Computer Graphics Lab (LIG) Swiss Federal Institute of Technology CH 1015 Lausanne (EPFL) {Ralf.Plaenkers,Pascal.Fua}@epfl.ch Add to Reading List Source URL: www.hometrica.ch Language: English - Date: 2007-05-18 10:39:01 Regression analysis Statistics Computer animation Visual effects Metaballs Least squares Linear least squares Segmentation Rendering 3D computer graphics Computer graphics Imaging
99	Robust and Scalable Black-Box Optimization, Hierarchy, and Ising Spin Glasses Martin Pelikan Computational Laboratory (CoLab), Swiss Federal Institute of Technology (ETH), Zurich, Switzerland David E. Goldberg Illinois G Add to Reading List Source URL: hboa.deg511.com Language: English - Date: 2007-07-17 16:58:44 Cybernetics Genetic algorithms Science Bayesian statistics Statistical models Estimation of distribution algorithm Evolutionary algorithm Bayesian network Crossover Applied mathematics Mathematics Mathematical optimization
100	Maximum Likelihood Estimation of Peers’ Performance in P2P Networks Zoran Despotovic, Karl Aberer EPFL - Swiss Federal Institute of Technology Lausanne, Switzerland email:{zoran.despotovic, karl.aberer}@epfl.ch Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2004-05-25 12:48:02 Ethics Reputation management File sharing networks Sociology Peer-to-peer Trust Social peer-to-peer processes Scalability Chord Computing Concurrent computing Distributed data storage

UPDATE